From 7abb35c3b2f9562a1877ba2bfd316939e711eced Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= Date: Mon, 19 Jul 2021 15:42:50 +0200 Subject: [PATCH] debian: Add libgtk-4-media-gstreamer package to provide a media module --- debian/control | 17 +++++++++++++++++ debian/control.in | 17 +++++++++++++++++ debian/libgtk-4-media-gstreamer.install | 1 + debian/rules | 3 ++- 4 files changed, 37 insertions(+), 1 deletion(-) create mode 100644 debian/libgtk-4-media-gstreamer.install diff --git a/debian/control b/debian/control index 7c6b5620b5..3f0403a545 100644 --- a/debian/control +++ b/debian/control @@ -28,6 +28,8 @@ Build-Depends: adwaita-icon-theme , libglib2.0-dev (>= 2.66.0), libgraphene-1.0-dev (>= 1.9.1), libgraphene-1.0-dev (>= 1.10.4~) [any-i386], + libgstreamer1.0-dev (>= 1.12.3), + libgstreamer-plugins-bad1.0-dev (>= 1.12.3), libharfbuzz-dev (>= 0.9), libjson-glib-dev, libpango1.0-dev (>= 1.47.0), @@ -89,6 +91,7 @@ Recommends: libgtk-4-bin, iso-codes, librsvg2-common, Suggests: gvfs, + libgtk-4-media-gstreamer, Breaks: libgtk-4-0 (<< 4.0.0), Replaces: libgtk-4-0 (<< 4.0.0), Pre-Depends: ${misc:Pre-Depends} @@ -214,6 +217,20 @@ Description: documentation for the GTK graphical user interface library This package contains the HTML documentation for the GTK library in /usr/share/doc/libgtk-4-doc/ . +Package: libgtk-4-media-gstreamer +Section: x11 +Architecture: any +Multi-Arch: foreign +Depends: ${misc:Depends}, + ${shlibs:Depends}, +Description: GStreamer media backend for the GTK graphical user interface library + GTK is a multi-platform toolkit for creating graphical user + interfaces. Offering a complete set of widgets, GTK is suitable + for projects ranging from small one-off tools to complete application + suites. + . + This package contains the media module that uses GStreamer as backend. + Package: gtk-4-examples Build-Profiles: Section: x11 diff --git a/debian/control.in b/debian/control.in index e24b7309e1..9e6368021e 100644 --- a/debian/control.in +++ b/debian/control.in @@ -28,6 +28,8 @@ Build-Depends: adwaita-icon-theme , libglib2.0-dev (>= 2.66.0), libgraphene-1.0-dev (>= 1.9.1), libgraphene-1.0-dev (>= 1.10.4~) [any-i386], + libgstreamer1.0-dev (>= 1.12.3), + libgstreamer-plugins-bad1.0-dev (>= 1.12.3), libharfbuzz-dev (>= 0.9), libjson-glib-dev, libpango1.0-dev (>= 1.47.0), @@ -89,6 +91,7 @@ Recommends: @BIN_PKG@, iso-codes, librsvg2-common, Suggests: gvfs, + @MEDIA_GSTREAMER_PKG@, Breaks: libgtk-4-0 (<< 4.0.0), Replaces: libgtk-4-0 (<< 4.0.0), Pre-Depends: ${misc:Pre-Depends} @@ -214,6 +217,20 @@ Description: documentation for the GTK graphical user interface library This package contains the HTML documentation for the GTK library in /usr/share/doc/@DOC_PKG@/ . +Package: @MEDIA_GSTREAMER_PKG@ +Section: x11 +Architecture: any +Multi-Arch: foreign +Depends: ${misc:Depends}, + ${shlibs:Depends}, +Description: GStreamer media backend for the GTK graphical user interface library + GTK is a multi-platform toolkit for creating graphical user + interfaces. Offering a complete set of widgets, GTK is suitable + for projects ranging from small one-off tools to complete application + suites. + . + This package contains the media module that uses GStreamer as backend. + Package: @EXAMPLES_PKG@ Build-Profiles: Section: x11 diff --git a/debian/libgtk-4-media-gstreamer.install b/debian/libgtk-4-media-gstreamer.install new file mode 100644 index 0000000000..c00a49ae10 --- /dev/null +++ b/debian/libgtk-4-media-gstreamer.install @@ -0,0 +1 @@ +${env:MODULES_BASE_PATH}/media/libmedia-gstreamer.so diff --git a/debian/rules b/debian/rules index 66da0f4ee3..650b4d4daa 100755 --- a/debian/rules +++ b/debian/rules @@ -38,6 +38,7 @@ export DEV_PKG := libgtk-$(APIVER)-dev export UDEB_PKG := $(SHARED_PKG)-udeb export DOC_PKG := libgtk-$(APIVER)-doc export BIN_PKG := libgtk-$(APIVER)-bin +export MEDIA_GSTREAMER_PKG := libgtk-$(APIVER)-media-gstreamer export EXAMPLES_PKG := gtk-$(APIVER)-examples export TESTS_PKG := gtk-$(APIVER)-tests @@ -62,6 +63,7 @@ debian/%: debian/%.in -e "s#@UDEB_PKG@#$(UDEB_PKG)#g" \ -e "s#@DOC_PKG@#$(DOC_PKG)#g" \ -e "s#@BIN_PKG@#$(BIN_PKG)#g" \ + -e "s#@MEDIA_GSTREAMER_PKG@#$(MEDIA_GSTREAMER_PKG)#g" \ -e "s#@EXAMPLES_PKG@#$(EXAMPLES_PKG)#g" \ -e "s#@TESTS_PKG@#$(TESTS_PKG)#g" \ -e "s#@GNOME_TEAM@#$(UPLOADERS)#g" \ @@ -80,7 +82,6 @@ configure_flags_deb = \ -Dcloudproviders=disabled \ -Dman-pages=true \ -Dmedia-ffmpeg=disabled \ - -Dmedia-gstreamer=disabled \ -Dx11-backend=true \ ${NULL} -- 2.30.2